2. Dependable Computing for Critical Applications 2
پدیدآورنده: edited by John F. Meyer, Richard D. Schlichting.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Electronic data processing.,Software engineering.
رده :
QA76
.
9
.
F38
E358
1992
4. Facing the Multicore - Challenge II
پدیدآورنده: edited by Rainer Keller, David Kramer, Jan-Philipp Weiss
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science,Computer science-- Mathematics,Computer software,Computer vision,Electronic data processing,Engineering,Physics,Software engineering,Algorithm Analysis and Problem Complexity,Complexity,Computational Mathematics and Numerical Analysis,Computer Imaging, Vision, Pattern Recognition and Graphics,Computer Science,Numeric Computing,Software Engineering/Programming and Operating Systems
5. Formal Methods for Distributed System Development :
پدیدآورنده: PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13, 2000, Pisa, Italy / edited by Tommaso Bolognesi, Diego Latella.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Electronic data processing.,Software engineering.
9. Uncertainty Quantification in Scientific Computing:
پدیدآورنده: Andrew M Dienstfrey
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Electronic data processing.,Software engineering.
رده :
Q375
.
A537
2012
